$\forall$$A$, $B$, $C$:MsgA. ma{-}frame{-}compat($C$;$A$) $\Rightarrow$ ma{-}frame{-}compat($C$;$B$) $\Rightarrow$ ma{-}frame{-}compat($C$;$A$ $\oplus$ $B$)